Tools and Algorithms for the Construction and Analysis of Systems
by Armin Biere, David Parker
ISBN 13: 9781013277184
Format: Paperback (516 pages) Publisher: Saint Philip Street Press Published: 09 Oct 2020
Save for later
You Are…
by David Parker
ISBN 13: 9798478174064
Format: Paperback (149 pages) Publisher: Independently published Published: 03 Oct 2021
Class and State in Ancien Regime France: The Road to Modernity?
ISBN 13: 9780415756822
Format: Paperback (368 pages) Publisher: Routledge Published: 23 Dec 2014
Live Every Day
ISBN 13: 9780983209423
Format: Paperback (258 pages) Publisher: PTC Communications Published: 15 May 2013
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)
by Sergiy Bogomolov, David Parker
ISBN 13: 9783031158384
Format: Paperback (324 pages) Publisher: Springer Published: 29 Aug 2022
ISBN 13: 9781013277214
Format: Hardcover (438 pages) Publisher: Saint Philip Street Press Published: 09 Oct 2020
ISBN 13: 9781013277191
Format: Hardcover (516 pages) Publisher: Saint Philip Street Press Published: 09 Oct 2020